Counteracting security attacks in virtual machines in the cloud using property based attestation

- Varadharajan, Vijay; Tupakula, Udaya